464 research outputs found

    Conditional ages and residual service times in the M/G/1 queue

    Get PDF
    In the article we study the M/G/1 queue, and collect results on the age, residual, and length of service, conditional on the number of customers present in the system. Special attention is given to the M/M/1 queue

    Asymptotic Expansions for Stationary Distributions of Perturbed Semi-Markov Processes

    Full text link
    New algorithms for computing of asymptotic expansions for stationary distributions of nonlinearly perturbed semi-Markov processes are presented. The algorithms are based on special techniques of sequential phase space reduction, which can be applied to processes with asymptotically coupled and uncoupled finite phase spaces.Comment: 83 page

    A PCP Characterization of AM

    Get PDF
    We introduce a 2-round stochastic constraint-satisfaction problem, and show that its approximation version is complete for (the promise version of) the complexity class AM. This gives a `PCP characterization' of AM analogous to the PCP Theorem for NP. Similar characterizations have been given for higher levels of the Polynomial Hierarchy, and for PSPACE; however, we suggest that the result for AM might be of particular significance for attempts to derandomize this class. To test this notion, we pose some `Randomized Optimization Hypotheses' related to our stochastic CSPs that (in light of our result) would imply collapse results for AM. Unfortunately, the hypotheses appear over-strong, and we present evidence against them. In the process we show that, if some language in NP is hard-on-average against circuits of size 2^{Omega(n)}, then there exist hard-on-average optimization problems of a particularly elegant form. All our proofs use a powerful form of PCPs known as Probabilistically Checkable Proofs of Proximity, and demonstrate their versatility. We also use known results on randomness-efficient soundness- and hardness-amplification. In particular, we make essential use of the Impagliazzo-Wigderson generator; our analysis relies on a recent Chernoff-type theorem for expander walks.Comment: 18 page

    Arp2/3 Branched Actin Network Mediates Filopodia-Like Bundles Formation In Vitro

    Get PDF
    During cellular migration, regulated actin assembly takes place at the cell leading edge, with continuous disassembly deeper in the cell interior. Actin polymerization at the plasma membrane results in the extension of cellular protrusions in the form of lamellipodia and filopodia. To understand how cells regulate the transformation of lamellipodia into filopodia, and to determine the major factors that control their transition, we studied actin self-assembly in the presence of Arp2/3 complex, WASp-VCA and fascin, the major proteins participating in the assembly of lamellipodia and filopodia. We show that in the early stages of actin polymerization fascin is passive while Arp2/3 mediates the formation of dense and highly branched aster-like networks of actin. Once filaments in the periphery of an aster get long enough, fascin becomes active, linking the filaments into bundles which emanate radially from the aster's surface, resulting in the formation of star-like structures. We show that the number of bundles nucleated per star, as well as their thickness and length, is controlled by the initial concentration of Arp2/3 complex ([Arp2/3]). Specifically, we tested several values of [Arp2/3] and found that for given initial concentrations of actin and fascin, the number of bundles per star, as well as their length and thickness are larger when [Arp2/3] is lower. Our experimental findings can be interpreted and explained using a theoretical scheme which combines Kinetic Monte Carlo simulations for aster growth, with a simple mechanistic model for bundles' formation and growth. According to this model, bundles emerge from the aster's (sparsely branched) surface layer. Bundles begin to form when the bending energy associated with bringing two filaments into contact is compensated by the energetic gain resulting from their fascin linking energy. As time evolves the initially thin and short bundles elongate, thus reducing their bending energy and allowing them to further associate and create thicker bundles, until all actin monomers are consumed. This process is essentially irreversible on the time scale of actin polymerization. Two structural parameters, L, which is proportional to the length of filament tips at the aster periphery and b, the spacing between their origins, dictate the onset of bundling; both depending on [Arp2/3]. Cells may use a similar mechanism to regulate filopodia formation along the cell leading edge. Such a mechanism may allow cells to have control over the localization of filopodia by recruiting specific proteins that regulate filaments length (e.g., Dia2) to specific sites along lamellipodia

    Future directions for the management of pain in osteoarthritis.

    Get PDF
    Osteoarthritis (OA) is the predominant form of arthritis worldwide, resulting in a high degree of functional impairment and reduced quality of life owing to chronic pain. To date, there are no treatments that are known to modify disease progression of OA in the long term. Current treatments are largely based on the modulation of pain, including NSAIDs, opiates and, more recently, centrally acting pharmacotherapies to avert pain. This review will focus on the rationale for new avenues in pain modulation, including inhibition with anti-NGF antibodies and centrally acting analgesics. The authors also consider the potential for structure modification in cartilage/bone using growth factors and stem cell therapies. The possible mismatch between structural change and pain perception will also be discussed, introducing recent techniques that may assist in improved patient phenotyping of pain subsets in OA. Such developments could help further stratify subgroups and treatments for people with OA in future

    The FOXO Transcription Factor DAF-16 Bypasses ire-1 Requirement to Promote Endoplasmic Reticulum Homeostasis

    Get PDF
    SummaryThe unfolded protein response (UPR) allows cells to adjust the capacity of the endoplasmic reticulum (ER) to the load of ER-associated tasks. We show that activation of the Caenorhabditis elegans transcription factor DAF-16 and its human homolog FOXO3 restore secretory protein metabolism when the UPR is dysfunctional. We show that DAF-16 establishes alternative ER-associated degradation systems that degrade misfolded proteins independently of the ER stress sensor ire-1 and the ER-associated E3 ubiquitin ligase complex sel-11/sel-1. This is achieved by enabling autophagy-mediated degradation and by increasing the levels of skr-5, a component of an ER-associated ubiquitin ligase complex. These degradation systems can act together with the conserved UPR to improve ER homeostasis and ER stress resistance, beyond wild-type levels. Because there is no sensor in the ER that activates DAF-16 in response to intrinsic ER stress, natural or artificial interventions that activate DAF-16 may be useful therapeutic approaches to maintain ER homeostasis
    corecore